solving systems of equations by substitution